How to Invent Functions
نویسنده
چکیده
The paper presents the abstraction transformation which is a fundamental method for creating functions in ADATE. The use of abstraction turns out to be similar to evolution by gene duplication which is emerging as the most important theory of \building blocks" in natural genomes. We discuss the relationship between abstraction and its natural counterparts, but also give novel technical details on automatic invention of functions. Basically, abstraction is the reverse of the inlining transformation performed by optimizing compilers.
منابع مشابه
Selecting ventilator settings using INVENT, a system including physiological models and penalty functions
This paper describes INVENT, a system for selecting ventilator setting based on physiological models and penalty functions. The models and penalty functions included in INVENT are first described followed by an example of the use of the system in selecting ventilator settings for a patient residing in the intensive care unit. For this patient, the advice given by the system is shown to be reaso...
متن کاملStrategies to invent cardiovascular drugs targeting cardiac gap junctions
In order to prevent and treat cardiac diseases, the author proposed strategies to invent cardiovascular drugs targeting cardiac gap junctions through summarizing the functions, physiology and pathophysiology of cardiac gap junctions. The 5 principle strategies to invent cardiovascular drugs that are suggested have great potentialities to be used as novel proposals to treat and prevent cardiac d...
متن کاملA Generalization of Conjectures of Bogomolov and Lang
[1] G. Faltings, Diophantine approximation on abelian varieties, Ann. of Math., 133 (1991), 549-576. [2] M. Hindry, Autour d'une conjecture de Serge Lang, Invent. math., 94 (1988), 575-603. [3] B. Poonen, Mordell-Lang plus Bogomolov, Invent. math., 137 (1999), 413-425. [4] M. McQuillan, Divison points on semi-abelian varieties, Invent. math., 120 (1995), 143-159. [5] A. Moriwaki, Arithmetic hei...
متن کاملHow students invent representations of motion A genetic account
The purpose of this paper is to illustrate, through example, a particular approach to understanding how students learn to use scientific and mathematical representations. Much of the work in these fields has been focused on a microanalysis of how students use specific representations, such as line graphs and equations, and on the particular difficulties that students have with these representat...
متن کامل